simultaneity, in a certain kind of question's development, the technique can be carried out reuse in the formal deduce, correctness prove and so on . so it will give an effective way to research on reuse in the software development full process 同時,某類問題的求解過程中的形式化推導(dǎo)、正確性證明等都可以實現(xiàn)復(fù)用,從而為實現(xiàn)軟件開發(fā)全過程的復(fù)用研究提供一種有效的途徑。